Integrand size = 39, antiderivative size = 167 \[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=-\frac {\sqrt {2} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {g} \tan (e+f x)}{\sqrt {2} \sqrt {g \sec (e+f x)} \sqrt {a+a \sec (e+f x)}}\right )}{\sqrt {a} (c-d) f}+\frac {2 \sqrt {c} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {c} \sqrt {g} \tan (e+f x)}{\sqrt {c+d} \sqrt {g \sec (e+f x)} \sqrt {a+a \sec (e+f x)}}\right )}{\sqrt {a} (c-d) \sqrt {c+d} f} \]
-g^(3/2)*arctanh(1/2*a^(1/2)*g^(1/2)*tan(f*x+e)*2^(1/2)/(g*sec(f*x+e))^(1/ 2)/(a+a*sec(f*x+e))^(1/2))*2^(1/2)/(c-d)/f/a^(1/2)+2*g^(3/2)*arctanh(a^(1/ 2)*c^(1/2)*g^(1/2)*tan(f*x+e)/(c+d)^(1/2)/(g*sec(f*x+e))^(1/2)/(a+a*sec(f* x+e))^(1/2))*c^(1/2)/(c-d)/f/a^(1/2)/(c+d)^(1/2)
Time = 1.76 (sec) , antiderivative size = 198, normalized size of antiderivative = 1.19 \[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\frac {g \cos \left (\frac {1}{2} (e+f x)\right ) \left (2 \sqrt {c+d} \log \left (\cos \left (\frac {1}{4} (e+f x)\right )-\sin \left (\frac {1}{4} (e+f x)\right )\right )-2 \sqrt {c+d} \log \left (\cos \left (\frac {1}{4} (e+f x)\right )+\sin \left (\frac {1}{4} (e+f x)\right )\right )+\sqrt {2} \sqrt {c} \left (-\log \left (\sqrt {2} \sqrt {c+d}-2 \sqrt {c} \sin \left (\frac {1}{2} (e+f x)\right )\right )+\log \left (\sqrt {2} \sqrt {c+d}+2 \sqrt {c} \sin \left (\frac {1}{2} (e+f x)\right )\right )\right )\right ) \sqrt {g \sec (e+f x)}}{(c-d) \sqrt {c+d} f \sqrt {a (1+\sec (e+f x))}} \]
(g*Cos[(e + f*x)/2]*(2*Sqrt[c + d]*Log[Cos[(e + f*x)/4] - Sin[(e + f*x)/4] ] - 2*Sqrt[c + d]*Log[Cos[(e + f*x)/4] + Sin[(e + f*x)/4]] + Sqrt[2]*Sqrt[ c]*(-Log[Sqrt[2]*Sqrt[c + d] - 2*Sqrt[c]*Sin[(e + f*x)/2]] + Log[Sqrt[2]*S qrt[c + d] + 2*Sqrt[c]*Sin[(e + f*x)/2]]))*Sqrt[g*Sec[e + f*x]])/((c - d)* Sqrt[c + d]*f*Sqrt[a*(1 + Sec[e + f*x])])
Time = 0.95 (sec) , antiderivative size = 167, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.179, Rules used = {3042, 4462, 3042, 4295, 221, 4453, 221}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a \sec (e+f x)+a} (c+d \sec (e+f x))} \, dx\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \int \frac {\left (g \csc \left (e+f x+\frac {\pi }{2}\right )\right )^{3/2}}{\sqrt {a \csc \left (e+f x+\frac {\pi }{2}\right )+a} \left (c+d \csc \left (e+f x+\frac {\pi }{2}\right )\right )}dx\) |
\(\Big \downarrow \) 4462 |
\(\displaystyle \frac {c g \int \frac {\sqrt {g \sec (e+f x)} \sqrt {\sec (e+f x) a+a}}{c+d \sec (e+f x)}dx}{a (c-d)}-\frac {g \int \frac {\sqrt {g \sec (e+f x)}}{\sqrt {\sec (e+f x) a+a}}dx}{c-d}\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \frac {c g \int \frac {\sqrt {g \csc \left (e+f x+\frac {\pi }{2}\right )} \sqrt {\csc \left (e+f x+\frac {\pi }{2}\right ) a+a}}{c+d \csc \left (e+f x+\frac {\pi }{2}\right )}dx}{a (c-d)}-\frac {g \int \frac {\sqrt {g \csc \left (e+f x+\frac {\pi }{2}\right )}}{\sqrt {\csc \left (e+f x+\frac {\pi }{2}\right ) a+a}}dx}{c-d}\) |
\(\Big \downarrow \) 4295 |
\(\displaystyle \frac {2 g^2 \int \frac {1}{2 a-\frac {a^2 \sin (e+f x) \tan (e+f x)}{\sec (e+f x) a+a}}d\left (-\frac {a \tan (e+f x)}{\sqrt {g \sec (e+f x)} \sqrt {\sec (e+f x) a+a}}\right )}{f (c-d)}+\frac {c g \int \frac {\sqrt {g \csc \left (e+f x+\frac {\pi }{2}\right )} \sqrt {\csc \left (e+f x+\frac {\pi }{2}\right ) a+a}}{c+d \csc \left (e+f x+\frac {\pi }{2}\right )}dx}{a (c-d)}\) |
\(\Big \downarrow \) 221 |
\(\displaystyle \frac {c g \int \frac {\sqrt {g \csc \left (e+f x+\frac {\pi }{2}\right )} \sqrt {\csc \left (e+f x+\frac {\pi }{2}\right ) a+a}}{c+d \csc \left (e+f x+\frac {\pi }{2}\right )}dx}{a (c-d)}-\frac {\sqrt {2} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {g} \tan (e+f x)}{\sqrt {2} \sqrt {a \sec (e+f x)+a} \sqrt {g \sec (e+f x)}}\right )}{\sqrt {a} f (c-d)}\) |
\(\Big \downarrow \) 4453 |
\(\displaystyle -\frac {2 c g^2 \int \frac {1}{a (c+d)-\frac {a^2 c \sin (e+f x) \tan (e+f x)}{\sec (e+f x) a+a}}d\left (-\frac {a \tan (e+f x)}{\sqrt {g \sec (e+f x)} \sqrt {\sec (e+f x) a+a}}\right )}{f (c-d)}-\frac {\sqrt {2} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {g} \tan (e+f x)}{\sqrt {2} \sqrt {a \sec (e+f x)+a} \sqrt {g \sec (e+f x)}}\right )}{\sqrt {a} f (c-d)}\) |
\(\Big \downarrow \) 221 |
\(\displaystyle \frac {2 \sqrt {c} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {c} \sqrt {g} \tan (e+f x)}{\sqrt {c+d} \sqrt {a \sec (e+f x)+a} \sqrt {g \sec (e+f x)}}\right )}{\sqrt {a} f (c-d) \sqrt {c+d}}-\frac {\sqrt {2} g^{3/2} \text {arctanh}\left (\frac {\sqrt {a} \sqrt {g} \tan (e+f x)}{\sqrt {2} \sqrt {a \sec (e+f x)+a} \sqrt {g \sec (e+f x)}}\right )}{\sqrt {a} f (c-d)}\) |
-((Sqrt[2]*g^(3/2)*ArcTanh[(Sqrt[a]*Sqrt[g]*Tan[e + f*x])/(Sqrt[2]*Sqrt[g* Sec[e + f*x]]*Sqrt[a + a*Sec[e + f*x]])])/(Sqrt[a]*(c - d)*f)) + (2*Sqrt[c ]*g^(3/2)*ArcTanh[(Sqrt[a]*Sqrt[c]*Sqrt[g]*Tan[e + f*x])/(Sqrt[c + d]*Sqrt [g*Sec[e + f*x]]*Sqrt[a + a*Sec[e + f*x]])])/(Sqrt[a]*(c - d)*Sqrt[c + d]* f)
3.3.42.3.1 Defintions of rubi rules used
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-a/b, 2]/a)*ArcTanh[x /Rt[-a/b, 2]], x] /; FreeQ[{a, b}, x] && NegQ[a/b]
Int[Sqrt[csc[(e_.) + (f_.)*(x_)]*(d_.)]/Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)], x_Symbol] :> Simp[-2*b*(d/(a*f)) Subst[Int[1/(2*b - d*x^2), x], x, b*(Cot[e + f*x]/(Sqrt[a + b*Csc[e + f*x]]*Sqrt[d*Csc[e + f*x]]))], x] /; FreeQ[{a, b, d, e, f}, x] && EqQ[a^2 - b^2, 0]
Int[(Sqrt[csc[(e_.) + (f_.)*(x_)]*(g_.)]*Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_)])/(csc[(e_.) + (f_.)*(x_)]*(d_.) + (c_)), x_Symbol] :> Simp[-2*b*(g /f) Subst[Int[1/(b*c + a*d - c*g*x^2), x], x, b*(Cot[e + f*x]/(Sqrt[g*Csc [e + f*x]]*Sqrt[a + b*Csc[e + f*x]]))], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[b*c - a*d, 0] && EqQ[a^2 - b^2, 0]
Int[(csc[(e_.) + (f_.)*(x_)]*(g_.))^(3/2)/(Sqrt[csc[(e_.) + (f_.)*(x_)]*(b_ .) + (a_)]*(csc[(e_.) + (f_.)*(x_)]*(d_.) + (c_))), x_Symbol] :> Simp[(-a)* (g/(b*c - a*d)) Int[Sqrt[g*Csc[e + f*x]]/Sqrt[a + b*Csc[e + f*x]], x], x] + Simp[c*(g/(b*c - a*d)) Int[Sqrt[g*Csc[e + f*x]]*(Sqrt[a + b*Csc[e + f* x]]/(c + d*Csc[e + f*x])), x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ [b*c - a*d, 0] && EqQ[a^2 - b^2, 0]
Leaf count of result is larger than twice the leaf count of optimal. \(556\) vs. \(2(132)=264\).
Time = 20.66 (sec) , antiderivative size = 557, normalized size of antiderivative = 3.34
method | result | size |
default | \(\frac {g \sqrt {-\frac {g \left (\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1\right )}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \left (\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1\right ) \sqrt {-\frac {2 a}{\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}-1}}\, \left (c \sqrt {2}\, \ln \left (\frac {2 \sqrt {2}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1}\, \sqrt {\frac {c}{c -d}}\, c -2 \sqrt {2}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1}\, \sqrt {\frac {c}{c -d}}\, d -2 \sqrt {\left (c +d \right ) \left (c -d \right )}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+2 c -2 d}{c \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )-\left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right ) d +\sqrt {\left (c +d \right ) \left (c -d \right )}}\right )-c \sqrt {2}\, \ln \left (-\frac {2 \left (\sqrt {2}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1}\, \sqrt {\frac {c}{c -d}}\, c -\sqrt {2}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1}\, \sqrt {\frac {c}{c -d}}\, d +\sqrt {\left (c +d \right ) \left (c -d \right )}\, \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+c -d \right )}{-c \left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right )+\left (-\cot \left (f x +e \right )+\csc \left (f x +e \right )\right ) d +\sqrt {\left (c +d \right ) \left (c -d \right )}}\right )-2 \sqrt {\left (c +d \right ) \left (c -d \right )}\, \operatorname {arcsinh}\left (\cot \left (f x +e \right )-\csc \left (f x +e \right )\right ) \sqrt {\frac {c}{c -d}}\right )}{2 f a \sqrt {\frac {c}{c -d}}\, \left (c -d \right ) \sqrt {\left (c +d \right ) \left (c -d \right )}\, \sqrt {\left (1-\cos \left (f x +e \right )\right )^{2} \csc \left (f x +e \right )^{2}+1}}\) | \(557\) |
1/2*g/f/a/(c/(c-d))^(1/2)/(c-d)/((c+d)*(c-d))^(1/2)*(-g*((1-cos(f*x+e))^2* csc(f*x+e)^2+1)/((1-cos(f*x+e))^2*csc(f*x+e)^2-1))^(1/2)*((1-cos(f*x+e))^2 *csc(f*x+e)^2-1)*(-2*a/((1-cos(f*x+e))^2*csc(f*x+e)^2-1))^(1/2)*(c*2^(1/2) *ln(2*(2^(1/2)*((1-cos(f*x+e))^2*csc(f*x+e)^2+1)^(1/2)*(c/(c-d))^(1/2)*c-2 ^(1/2)*((1-cos(f*x+e))^2*csc(f*x+e)^2+1)^(1/2)*(c/(c-d))^(1/2)*d-((c+d)*(c -d))^(1/2)*(-cot(f*x+e)+csc(f*x+e))+c-d)/(c*(-cot(f*x+e)+csc(f*x+e))-(-cot (f*x+e)+csc(f*x+e))*d+((c+d)*(c-d))^(1/2)))-c*2^(1/2)*ln(-2*(2^(1/2)*((1-c os(f*x+e))^2*csc(f*x+e)^2+1)^(1/2)*(c/(c-d))^(1/2)*c-2^(1/2)*((1-cos(f*x+e ))^2*csc(f*x+e)^2+1)^(1/2)*(c/(c-d))^(1/2)*d+((c+d)*(c-d))^(1/2)*(-cot(f*x +e)+csc(f*x+e))+c-d)/(-c*(-cot(f*x+e)+csc(f*x+e))+(-cot(f*x+e)+csc(f*x+e)) *d+((c+d)*(c-d))^(1/2)))-2*((c+d)*(c-d))^(1/2)*arcsinh(cot(f*x+e)-csc(f*x+ e))*(c/(c-d))^(1/2))/((1-cos(f*x+e))^2*csc(f*x+e)^2+1)^(1/2)
Time = 0.80 (sec) , antiderivative size = 1103, normalized size of antiderivative = 6.60 \[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\text {Too large to display} \]
[-1/2*(sqrt(2)*g*sqrt(g/a)*log((2*sqrt(2)*sqrt(g/a)*sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*sqrt(g/cos(f*x + e))*cos(f*x + e)*sin(f*x + e) - g*cos(f *x + e)^2 + 2*g*cos(f*x + e) + 3*g)/(cos(f*x + e)^2 + 2*cos(f*x + e) + 1)) + sqrt(c*g/(a*c + a*d))*g*log((c^2*g*cos(f*x + e)^3 - (7*c^2 + 6*c*d)*g*c os(f*x + e)^2 + 4*((c^2 + c*d)*cos(f*x + e)^2 - (2*c^2 + 3*c*d + d^2)*cos( f*x + e))*sqrt(c*g/(a*c + a*d))*sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*sq rt(g/cos(f*x + e))*sin(f*x + e) + (2*c*d + d^2)*g*cos(f*x + e) + (8*c^2 + 8*c*d + d^2)*g)/(c^2*cos(f*x + e)^3 + (c^2 + 2*c*d)*cos(f*x + e)^2 + d^2 + (2*c*d + d^2)*cos(f*x + e))))/((c - d)*f), 1/2*(2*sqrt(2)*g*sqrt(-g/a)*ar ctan(sqrt(2)*sqrt(-g/a)*sqrt((a*cos(f*x + e) + a)/cos(f*x + e))*sqrt(g/cos (f*x + e))*cos(f*x + e)/(g*sin(f*x + e))) - sqrt(c*g/(a*c + a*d))*g*log((c ^2*g*cos(f*x + e)^3 - (7*c^2 + 6*c*d)*g*cos(f*x + e)^2 + 4*((c^2 + c*d)*co s(f*x + e)^2 - (2*c^2 + 3*c*d + d^2)*cos(f*x + e))*sqrt(c*g/(a*c + a*d))*s qrt((a*cos(f*x + e) + a)/cos(f*x + e))*sqrt(g/cos(f*x + e))*sin(f*x + e) + (2*c*d + d^2)*g*cos(f*x + e) + (8*c^2 + 8*c*d + d^2)*g)/(c^2*cos(f*x + e) ^3 + (c^2 + 2*c*d)*cos(f*x + e)^2 + d^2 + (2*c*d + d^2)*cos(f*x + e))))/(( c - d)*f), -1/2*(sqrt(2)*g*sqrt(g/a)*log((2*sqrt(2)*sqrt(g/a)*sqrt((a*cos( f*x + e) + a)/cos(f*x + e))*sqrt(g/cos(f*x + e))*cos(f*x + e)*sin(f*x + e) - g*cos(f*x + e)^2 + 2*g*cos(f*x + e) + 3*g)/(cos(f*x + e)^2 + 2*cos(f*x + e) + 1)) - 2*sqrt(-c*g/(a*c + a*d))*g*arctan(1/2*(c*cos(f*x + e)^2 - ...
\[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\int \frac {\left (g \sec {\left (e + f x \right )}\right )^{\frac {3}{2}}}{\sqrt {a \left (\sec {\left (e + f x \right )} + 1\right )} \left (c + d \sec {\left (e + f x \right )}\right )}\, dx \]
\[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\int { \frac {\left (g \sec \left (f x + e\right )\right )^{\frac {3}{2}}}{\sqrt {a \sec \left (f x + e\right ) + a} {\left (d \sec \left (f x + e\right ) + c\right )}} \,d x } \]
1/2*(sqrt(2)*c*f*g*integrate(((c^2*cos(2*f*x + 2*e)^2 + c^2*sin(2*f*x + 2* e)^2 - 2*(c*d - 2*d^2)*cos(f*x + e)^2 - (c^2 - 4*c*d)*sin(2*f*x + 2*e)*sin (f*x + e) - 2*(c*d - 2*d^2)*sin(f*x + e)^2 + (c^2 - (c^2 - 4*c*d)*cos(f*x + e))*cos(2*f*x + 2*e) - (c^2 - 2*c*d)*cos(f*x + e))*cos(1/2*arctan2(sin(f *x + e), cos(f*x + e))) - (c^2*cos(2*f*x + 2*e)*sin(f*x + e) - (c^2*cos(f* x + e) + c^2)*sin(2*f*x + 2*e) + (c^2 - 2*c*d)*sin(f*x + e))*sin(1/2*arcta n2(sin(f*x + e), cos(f*x + e))))/((c^2*cos(2*f*x + 2*e)^2 + 4*d^2*cos(f*x + e)^2 + c^2*sin(2*f*x + 2*e)^2 + 4*c*d*sin(2*f*x + 2*e)*sin(f*x + e) + 4* d^2*sin(f*x + e)^2 + 4*c*d*cos(f*x + e) + c^2 + 2*(2*c*d*cos(f*x + e) + c^ 2)*cos(2*f*x + 2*e))*cos(1/2*arctan2(sin(f*x + e), cos(f*x + e)))^2 + (c^2 *cos(2*f*x + 2*e)^2 + 4*d^2*cos(f*x + e)^2 + c^2*sin(2*f*x + 2*e)^2 + 4*c* d*sin(2*f*x + 2*e)*sin(f*x + e) + 4*d^2*sin(f*x + e)^2 + 4*c*d*cos(f*x + e ) + c^2 + 2*(2*c*d*cos(f*x + e) + c^2)*cos(2*f*x + 2*e))*sin(1/2*arctan2(s in(f*x + e), cos(f*x + e)))^2), x) + sqrt(2)*c*f*g*integrate(((2*c*d*cos(f *x + e)^2 + 2*c*d*sin(f*x + e)^2 - (c^2 - 2*c*d)*cos(2*f*x + 2*e)^2 + c^2* cos(f*x + e) - (c^2 - 2*c*d)*sin(2*f*x + 2*e)^2 + (c^2 - 2*c*d + 4*d^2)*si n(2*f*x + 2*e)*sin(f*x + e) - (c^2 - 2*c*d - (c^2 - 2*c*d + 4*d^2)*cos(f*x + e))*cos(2*f*x + 2*e))*cos(1/2*arctan2(sin(f*x + e), cos(f*x + e))) + (c ^2*sin(f*x + e) + (c^2 + 2*c*d - 4*d^2)*cos(2*f*x + 2*e)*sin(f*x + e) - (c ^2 - 2*c*d + (c^2 + 2*c*d - 4*d^2)*cos(f*x + e))*sin(2*f*x + 2*e))*sin(...
Exception generated. \[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\text {Exception raised: TypeError} \]
Exception raised: TypeError >> an error occurred running a Giac command:IN PUT:sage2:=int(sage0,sageVARx):;OUTPUT:index.cc index_m i_lex_is_greater E rror: Bad Argument Value
Timed out. \[ \int \frac {(g \sec (e+f x))^{3/2}}{\sqrt {a+a \sec (e+f x)} (c+d \sec (e+f x))} \, dx=\int \frac {{\left (\frac {g}{\cos \left (e+f\,x\right )}\right )}^{3/2}}{\sqrt {a+\frac {a}{\cos \left (e+f\,x\right )}}\,\left (c+\frac {d}{\cos \left (e+f\,x\right )}\right )} \,d x \]